Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 157 | 172 | 106 | 145 | 0 | 78 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.68 | 0.92 | 0.00 | 0.50 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.241 | 6.362 | 1.404 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 126 | 132 | 101 | 140 | 0 | 73 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 0.80 | 1.11 | 0.00 | 0.58 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.221 | 5.433 | 1.334 | 0.000 | 0.075 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 98 | 103 | 88 | 135 | 0 | 68 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 0.90 | 1.38 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.191 | 5.514 | 1.344 | 0.000 | 0.066 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 129 | 139 | 118 | 135 | 0 | 82 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.91 | 1.05 | 0.00 | 0.64 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.219 | 6.260 | 1.348 | 0.000 | 0.069 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 160 | 175 | 94 | 219 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 0.59 | 1.37 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.239 | 7.329 | 1.360 | 0.000 | 0.069 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 191 | 211 | 99 | 271 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.52 | 1.42 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.276 | 7.468 | 1.369 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 222 | 247 | 106 | 295 | 0 | 148 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.48 | 1.33 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.296 | 7.714 | 1.366 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 246 | 280 | 121 | 160 | 0 | 93 | 0 | 0 | 0 |
N.S. |
1 | 1.14 | 0.49 | 0.65 | 0.00 | 0.38 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.330 | 8.305 | 4.577 | 0.000 | 0.075 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 219 | 244 | 116 | 155 | 0 | 88 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.53 | 0.71 | 0.00 | 0.40 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.299 | 8.288 | 1.356 | 0.000 | 0.074 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 188 | 206 | 111 | 150 | 0 | 83 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.59 | 0.80 | 0.00 | 0.44 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.269 | 7.224 | 1.414 | 0.000 | 0.069 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 155 | 165 | 106 | 145 | 0 | 78 | 0 | 0 | 0 |
N.S. |
1 | 1.06 | 0.68 | 0.94 | 0.00 | 0.50 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.255 | 5.987 | 1.350 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 129 | 139 | 101 | 140 | 0 | 73 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.78 | 1.09 | 0.00 | 0.57 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.216 | 5.394 | 1.353 | 0.000 | 0.074 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 129 | 139 | 118 | 135 | 0 | 82 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.91 | 1.05 | 0.00 | 0.64 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.218 | 6.787 | 1.353 | 0.000 | 0.072 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 160 | 175 | 94 | 219 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 0.59 | 1.37 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.243 | 7.735 | 1.358 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 191 | 211 | 99 | 271 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.52 | 1.42 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.264 | 7.661 | 1.370 | 0.000 | 0.076 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 222 | 247 | 104 | 295 | 0 | 148 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.47 | 1.33 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.292 | 7.838 | 4.586 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 253 | 283 | 111 | 319 | 0 | 168 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.44 | 1.26 | 0.00 | 0.66 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.316 | 8.042 | 1.373 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 160 | 173 | 106 | 145 | 0 | 78 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.66 | 0.91 | 0.00 | 0.49 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.247 | 6.398 | 1.366 | 0.000 | 0.075 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 129 | 137 | 101 | 140 | 0 | 73 | 0 | 0 | 0 |
N.S. |
1 | 1.06 | 0.78 | 1.09 | 0.00 | 0.57 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.219 | 5.512 | 1.360 | 0.000 | 0.072 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 98 | 103 | 88 | 135 | 0 | 68 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 0.90 | 1.38 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.190 | 5.636 | 1.358 | 0.000 | 0.070 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 62 | 62 | 88 | 135 | 0 | 68 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.42 | 2.18 | 0.00 | 1.10 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.158 | 2.657 | 1.359 | 0.000 | 0.070 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 81 | 81 | 61 | 92 | 0 | 68 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.75 | 1.14 | 0.00 | 0.84 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.183 | 2.669 | 1.351 | 0.000 | 0.070 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 129 | 139 | 118 | 135 | 0 | 82 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.91 | 1.05 | 0.00 | 0.64 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.220 | 6.537 | 1.363 | 0.000 | 0.074 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 160 | 173 | 93 | 219 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.58 | 1.37 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.257 | 6.459 | 1.383 | 0.000 | 0.074 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 191 | 209 | 101 | 271 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 0.53 | 1.42 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.268 | 6.702 | 1.356 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 191 | 211 | 128 | 145 | 0 | 92 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.67 | 0.76 | 0.00 | 0.48 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.266 | 7.369 | 1.360 | 0.000 | 0.072 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 160 | 175 | 123 | 140 | 0 | 87 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 0.77 | 0.88 | 0.00 | 0.54 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.245 | 7.162 | 1.353 | 0.000 | 0.070 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 129 | 139 | 118 | 135 | 0 | 82 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.91 | 1.05 | 0.00 | 0.64 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.214 | 6.681 | 1.432 | 0.000 | 0.077 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 129 | 139 | 118 | 135 | 0 | 82 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.91 | 1.05 | 0.00 | 0.64 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.214 | 5.878 | 1.365 | 0.000 | 0.069 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 129 | 135 | 118 | 135 | 0 | 82 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 0.91 | 1.05 | 0.00 | 0.64 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.215 | 5.551 | 1.430 | 0.000 | 0.070 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 129 | 139 | 118 | 135 | 0 | 82 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.91 | 1.05 | 0.00 | 0.64 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.218 | 5.730 | 1.370 | 0.000 | 0.069 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 160 | 175 | 93 | 135 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 0.58 | 0.84 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.240 | 6.039 | 1.364 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 191 | 211 | 98 | 219 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.51 | 1.15 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.271 | 7.203 | 1.422 | 0.000 | 0.072 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 222 | 247 | 103 | 271 | 0 | 148 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.46 | 1.22 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.297 | 7.524 | 1.372 | 0.000 | 0.078 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 218 | 247 | 104 | 229 | 0 | 118 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.48 | 1.05 | 0.00 | 0.54 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.307 | 8.268 | 1.435 | 0.000 | 0.075 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 211 | 99 | 224 | 0 | 113 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.53 | 1.20 | 0.00 | 0.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.263 | 7.494 | 1.370 | 0.000 | 0.072 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 175 | 94 | 219 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.60 | 1.40 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.247 | 7.182 | 1.375 | 0.000 | 0.075 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 175 | 94 | 219 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.60 | 1.40 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.253 | 7.149 | 1.359 | 0.000 | 0.070 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 175 | 94 | 219 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.60 | 1.40 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.246 | 6.105 | 1.376 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 171 | 93 | 219 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.60 | 1.40 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.246 | 6.205 | 1.369 | 0.000 | 0.068 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 175 | 93 | 219 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.60 | 1.40 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.247 | 6.438 | 1.364 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 211 | 98 | 219 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.52 | 1.17 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.275 | 6.392 | 1.365 | 0.000 | 0.070 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 218 | 247 | 103 | 256 | 0 | 148 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.47 | 1.17 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.301 | 7.423 | 1.386 | 0.000 | 0.077 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 249 | 283 | 108 | 323 | 0 | 168 | 0 | 0 | 0 |
N.S. |
1 | 1.14 | 0.43 | 1.30 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.319 | 7.769 | 4.634 | 0.000 | 0.074 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 218 | 247 | 126 | 243 | 0 | 103 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.58 | 1.11 | 0.00 | 0.47 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.299 | 8.216 | 1.383 | 0.000 | 0.077 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 211 | 121 | 238 | 0 | 98 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.65 | 1.27 | 0.00 | 0.52 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.273 | 8.223 | 1.362 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 175 | 116 | 233 | 0 | 93 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.74 | 1.49 | 0.00 | 0.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.241 | 7.863 | 1.349 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 123 | 135 | 111 | 219 | 0 | 88 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.90 | 1.78 | 0.00 | 0.72 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.218 | 6.131 | 1.366 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 125 | 139 | 110 | 219 | 0 | 88 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.88 | 1.75 | 0.00 | 0.70 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.219 | 3.096 | 1.383 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 125 | 139 | 111 | 219 | 0 | 88 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.89 | 1.75 | 0.00 | 0.70 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.216 | 2.742 | 4.628 | 0.000 | 0.067 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 175 | 93 | 228 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.60 | 1.46 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.252 | 6.168 | 1.382 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 211 | 98 | 228 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.52 | 1.22 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.270 | 7.592 | 1.363 | 0.000 | 0.075 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 220 | 247 | 103 | 295 | 0 | 148 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.47 | 1.34 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.289 | 7.816 | 1.382 | 0.000 | 0.076 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 222 | 245 | 126 | 243 | 0 | 103 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.57 | 1.09 | 0.00 | 0.46 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.299 | 8.996 | 4.666 | 0.000 | 0.076 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 191 | 207 | 121 | 238 | 0 | 98 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.63 | 1.25 | 0.00 | 0.51 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.269 | 8.555 | 1.375 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 158 | 169 | 116 | 233 | 0 | 93 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 0.73 | 1.47 | 0.00 | 0.59 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.241 | 7.315 | 1.372 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 127 | 137 | 111 | 219 | 0 | 88 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.87 | 1.72 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.218 | 6.427 | 1.379 | 0.000 | 0.072 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 127 | 137 | 111 | 219 | 0 | 88 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.87 | 1.72 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.225 | 6.480 | 1.374 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 158 | 173 | 94 | 228 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 0.59 | 1.44 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.243 | 7.401 | 1.376 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 191 | 211 | 99 | 228 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.52 | 1.19 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.274 | 8.347 | 1.382 | 0.000 | 0.072 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 222 | 247 | 104 | 295 | 0 | 148 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.47 | 1.33 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.298 | 8.528 | 1.372 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 253 | 281 | 131 | 248 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.52 | 0.98 | 0.00 | 0.43 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.328 | 9.046 | 4.673 | 0.000 | 0.069 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 220 | 243 | 126 | 243 | 0 | 103 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.57 | 1.10 | 0.00 | 0.47 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.295 | 8.722 | 1.378 | 0.000 | 0.070 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 189 | 202 | 121 | 238 | 0 | 98 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 0.64 | 1.26 | 0.00 | 0.52 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.274 | 7.600 | 1.381 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 160 | 175 | 116 | 233 | 0 | 93 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 0.72 | 1.46 | 0.00 | 0.58 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.257 | 7.324 | 1.382 | 0.000 | 0.075 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 127 | 137 | 111 | 219 | 0 | 88 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.87 | 1.72 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.225 | 7.230 | 1.419 | 0.000 | 0.072 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 158 | 173 | 93 | 228 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 0.59 | 1.44 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.244 | 8.358 | 1.398 | 0.000 | 0.070 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 191 | 211 | 99 | 228 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.52 | 1.19 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.264 | 8.655 | 1.386 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 220 | 245 | 103 | 295 | 0 | 148 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.47 | 1.34 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.289 | 8.631 | 4.686 | 0.000 | 0.077 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 253 | 283 | 108 | 319 | 0 | 168 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.43 | 1.26 | 0.00 | 0.66 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.319 | 8.764 | 1.400 | 0.000 | 0.074 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 211 | 121 | 238 | 0 | 98 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.65 | 1.27 | 0.00 | 0.52 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.274 | 8.098 | 1.370 | 0.000 | 0.072 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 175 | 116 | 233 | 0 | 93 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.74 | 1.49 | 0.00 | 0.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.247 | 8.005 | 1.369 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 125 | 139 | 111 | 219 | 0 | 88 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.89 | 1.75 | 0.00 | 0.70 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.222 | 7.508 | 1.386 | 0.000 | 0.072 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 125 | 135 | 110 | 219 | 0 | 88 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.88 | 1.75 | 0.00 | 0.70 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.215 | 6.166 | 1.383 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 125 | 139 | 111 | 219 | 0 | 88 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.89 | 1.75 | 0.00 | 0.70 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.220 | 3.042 | 1.370 | 0.000 | 0.067 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 125 | 139 | 111 | 219 | 0 | 88 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.89 | 1.75 | 0.00 | 0.70 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.215 | 2.650 | 1.367 | 0.000 | 0.070 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 175 | 93 | 228 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.60 | 1.46 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.240 | 6.713 | 1.406 | 0.000 | 0.072 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 211 | 98 | 228 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.52 | 1.22 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.259 | 8.093 | 1.379 | 0.000 | 0.074 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 218 | 247 | 103 | 295 | 0 | 148 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.47 | 1.35 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.292 | 8.223 | 1.404 | 0.000 | 0.076 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 218 | 247 | 104 | 238 | 0 | 118 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.48 | 1.09 | 0.00 | 0.54 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.290 | 8.652 | 1.375 | 0.000 | 0.075 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 211 | 99 | 233 | 0 | 113 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.53 | 1.25 | 0.00 | 0.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.266 | 8.662 | 1.387 | 0.000 | 0.072 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 175 | 94 | 228 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.60 | 1.46 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.244 | 8.292 | 1.379 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 175 | 94 | 228 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.60 | 1.46 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.243 | 7.809 | 1.402 | 0.000 | 0.080 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 171 | 94 | 228 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.60 | 1.46 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.242 | 6.877 | 1.358 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 175 | 93 | 228 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.60 | 1.46 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.244 | 6.083 | 1.367 | 0.000 | 0.069 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 175 | 93 | 228 | 0 | 108 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.60 | 1.46 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.243 | 6.351 | 1.389 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 211 | 98 | 228 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.52 | 1.22 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.263 | 7.343 | 1.394 | 0.000 | 0.070 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 218 | 247 | 103 | 256 | 0 | 148 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.47 | 1.17 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.296 | 9.276 | 1.385 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 249 | 283 | 109 | 323 | 0 | 168 | 0 | 0 | 0 |
N.S. |
1 | 1.14 | 0.44 | 1.30 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.325 | 8.638 | 4.721 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 249 | 283 | 109 | 267 | 0 | 138 | 0 | 0 | 0 |
N.S. |
1 | 1.14 | 0.44 | 1.07 | 0.00 | 0.55 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.321 | 8.904 | 1.403 | 0.000 | 0.074 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 218 | 247 | 104 | 247 | 0 | 133 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.48 | 1.13 | 0.00 | 0.61 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.294 | 8.707 | 4.722 | 0.000 | 0.075 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 211 | 99 | 228 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.53 | 1.22 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.269 | 8.435 | 4.725 | 0.000 | 0.074 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 211 | 99 | 228 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.53 | 1.22 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.266 | 8.182 | 1.387 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 211 | 99 | 228 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.53 | 1.22 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.272 | 8.047 | 4.703 | 0.000 | 0.072 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 207 | 98 | 228 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.52 | 1.22 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.269 | 7.090 | 4.699 | 0.000 | 0.075 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 211 | 98 | 228 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.52 | 1.22 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.275 | 7.514 | 1.388 | 0.000 | 0.073 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 211 | 98 | 228 | 0 | 128 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.52 | 1.22 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.267 | 7.922 | 1.377 | 0.000 | 0.074 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 218 | 247 | 103 | 256 | 0 | 148 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.47 | 1.17 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.304 | 7.705 | 1.370 | 0.000 | 0.074 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 249 | 283 | 108 | 239 | 0 | 168 | 0 | 0 | 0 |
N.S. |
1 | 1.14 | 0.43 | 0.96 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.324 | 8.391 | 4.717 | 0.000 | 0.071 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 280 | 319 | 113 | 304 | 0 | 188 | 0 | 0 | 0 |
N.S. |
1 | 1.14 | 0.40 | 1.09 | 0.00 | 0.67 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.344 | 8.673 | 1.404 | 0.000 | 0.074 | 0.000 | 0.000 | 0.000 |